منابع مشابه
Basic Bicategories
A concise guide to very basic bicategory theory, from the definition of a bicategory to the coherence theorem.
متن کاملMonads and Interpolads in Bicategories
Given a bicategory, Y , with stable local coequalizers, we construct a bicategory of monads Y -mnd by using lax functors from the generic 0-cell, 1-cell and 2-cell, respectively, into Y . Any lax functor into Y factors through Y -mnd and the 1-cells turn out to be the familiar bimodules. The locally ordered bicategory rel and its bicategory of monads both fail to be Cauchy-complete, but have a ...
متن کاملIntroduction to linear bicategories
Linear bicategories are a generalization of bicategories, in which the one horizontal composition is replaced by two (linked) horizontal compositions. These compositions provide a semantic model for the tensor and par of linear logic: in particular, as composition is fundamentally noncommutative, they provide a suggestive source of models for noncommutative linear logic. In a linear bicategory,...
متن کاملWide Morita Contexts in Bicategories
We give a formal concept of (right) wide Morita context between two 0-cells in arbitrary bicategory. We then construct a new bicategory with the same 0-cells as the oldest one, and with 1-cells all these (right) wide Morita contexts. An application to the (right) Eilenberg-Moore bicategory of comonads associated to the bimodules bicategory is also given.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Categories and General Algebraic Structures with Application
سال: 2018
ISSN: 2345-5853,2345-5861
DOI: 10.29252/cgasa.8.1.19